UNUSUAL FORMULAE FOR THE EULER CHARACTERISTIC
نویسندگان
چکیده
منابع مشابه
Unusual Formulae for the Euler Characteristic
Everyone knows that the Euler characteristic of a combinatorial manifold is given by the alternating sum of its numbers of simplices. It is shown that there are other linear combinations of the numbers of simplices which are combinatorial invariants, but that all such invariants are multiples of the Euler characteristic. Theorem [Pachner 1987, [3]]. Two closed combinatorial n-manifolds are PLho...
متن کاملVerified Characteristic Formulae for CakeML
Characteristic Formulae (CF) offer a productive, principled approach to generating verification conditions for higher-order imperative programs, but so far the soundness of CF has only been considered with respect to an informal specification of a programming language (OCaml). This leaves a gap between what is established by the verification framework and the program that actually runs. We pres...
متن کاملCharacteristic formulae for timed automata
This paper offers characteristic formula constructions in the realtime logic Lν for several behavioural relations between (states of) timed automata. The behavioural relations studied in this work are timed (bi)similarity, timed ready simulation, faster-than bisimilarity and timed trace inclusion. The characteristic formulae delivered by our constructions have size which is linear in that of th...
متن کاملCharacteristic Formulae for Session Types
Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language implementations. In this paper, we study effective ways to check whether a session type is a subtype of another by applying a characteristic formulae approach to the problem. Our core contribution is an algorithm to generate a modal μ-calculus formula that characterises all the superty...
متن کاملThe Euler Characteristic
I will describe a few basic properties of the Euler characteristic and then I use them to prove special case of a cute formula due to Bernstein-Khovanskii-Koushnirenko. 1. Basic properties of the Euler characteristic The Euler characteristic is a function χ which associates to each reasonable topological space X an integer χ(X). For us a reasonable space would be a space which admits a finite s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Knot Theory and Its Ramifications
سال: 2002
ISSN: 0218-2165,1793-6527
DOI: 10.1142/s0218216502001974